$\forall$$x$,$y$:atom\{2:n\}. ($\uparrow$eq\_atom\{2:n\}($x$; $y$)) $\Leftarrow\!\Rightarrow$ ($x$ = $y$)